Solovay-Type Characterizations for Forcing-Algebras
نویسندگان
چکیده
We give characterizations for the (in ZFC unprovable) sentences “Every Σ12–set is measurable” and “Every ∆ 1 2–set is measurable” for various notions of measurability derived from well–known forcing partial orderings.
منابع مشابه
Gap forcing: Generalizing the Lévy-Solovay theorem
The Levy-Solovay Theorem [LevSol67] limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that many of the forcing iterations most commonly found in the large cardinal literature create no new weakly compact cardinals, measurable cardinals, strong card...
متن کاملProper forcing extensions and Solovay models
We study the preservation of the property of L(R) being a Solovay model under proper projective forcing extensions. We show that every ∼ 1 3 strongly-proper forcing notion preserves this property. This yields that the consistency strength of the absoluteness of L(R) under ∼ 1 3 strongly-proper forcing notions is that of the existence of an inaccessible cardinal. Further, the absoluteness of L(R...
متن کاملL1-Computability, Layerwise Computability and Solovay Reducibility
We propose a hierarchy of classes of functions that corresponds to the hierarchy of randomness notions. Each class of functions converges at the corresponding random points. We give various characterizations of the classes, that is, characterizations via integral tests, L-computability and layerwise computability. Furthermore, the relation among these classes is formulated using a version of So...
متن کاملOn φ-Connes amenability of dual Banach algebras
Let φ be a w-continuous homomorphism from a dual Banach algebra to C. The notion of φ-Connes amenability is studied and some characterizations is given. A type of diagonal for dual Banach algebras is dened. It is proved that the existence of such a diagonal is equivalent to φ-Connes amenability. It is also shown that φ-Connes amenability is equivalent to so-called φ-splitting of a certain short...
متن کاملCHARACTERIZATIONS OF EXTREMELY AMENABLE FUNCTION ALGEBRAS ON A SEMIGROUP
Let S be a semigroup. In certain cases we give some characterizations of extreme amenability of S and we show that in these cases extreme left amenability and extreme right amenability of S are equivalent. Also when S is a compact topological semigroup, we characterize extremely left amenable subalgebras of C(S), where C(S) is the space of all continuous bounded real valued functions on S
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Log.
دوره 64 شماره
صفحات -
تاریخ انتشار 1999